A game theoretical semantics for logics of nonsense

Logics of non-sense allow a third truth value to express propositions that are nonsense. These logics are ideal formalisms to understand how errors are handled in programs and how they propagate throughout the programs once they appear. In this paper, we give a Hintikkan game semantics for logics of non-sense and prove its correctness. We also discuss how a known solution method in game theory, the iterated elimination of strictly dominated strategies, relates to semantic games for logics of nonsense. Finally, we extend the logics of nonsense only by means of semantic games, developing a new logic of nonsense, and propose a new game semantics for Priest’s Logic of Paradox

Topological semantics for da Costa paraconsistent logics Cω and C*ω

In this work, we consider a well-known and well-studied system of paraconsistent logic which is due to Newton da Costa, and present a topological semantics for it

A Yabloesque paradox in epistemic game theory

The Brandenburger–Keisler paradox is a self-referential paradox in epistemic game theory which can be viewed as a two-person version of Russell’s Paradox. Yablo’s Paradox, according to its author, is a non-self referential paradox, which created a significant impact. This paper gives a Yabloesque, non-self-referential paradox for infinitary players within the context of epistemic game theory. The new paradox advances both the Brandenburger–Keisler and Yablo results. Additionally, the paper constructs a paraconsistent model satisfying the paradoxical statement

Game theoretical semantics for some non-classical logics

Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest’s Logic of Paradox, Dunn’s First-Degree Entailment, Routleys’ Relevant Logics, McCall’s Connexive Logic and Belnap’s four-valued logic. We also present a game theoretical characterisation of a translation between Logic of Paradox/Kleene’s K3 and S5. We underline how non-classical logics require different verification games and prove the correctness theorems of their respective game theoretical semantics. This allows us to observe that paraconsistent logics break the classical bidirectional connection between winning strategies and truth values

A game theoretical semantics for a logic of formal inconsistency

This paper introduces a game theoretical semantics for a particular logic of formal inconsistency called mbC

A history based logic for dynamic preference updates

History based models suggest a process-based approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework

Knowledge management for the micro enterprise: a taxonomy

oai:repository.mdx.ac.uk:y85yyKnowledge Management Systems enhance innovation, increase operational efficiency, and improve decision-making in business organisations. The administrative and resource overheads required to implement and maintain such systems, however, inherently exclude the smallest of firms from reaping these benefits. This paper aims to identify, evaluate, and summarize the distribution of research on knowledge management and supporting systems across business size classifications with a particular focus on micro-enterprises. It also seeks to establish if existing knowledge management models, practices, and systems have invested due consideration in their design to cater for the limited resources typically found in the micro-enterprise. It contributes new insight into the applicability of knowledge management systems to micro-enterprises and stimulates a possible re-think of how such systems can cater for the specific constraints of this prolific business type. This taxonomy provides a thorough analysis of 168 research papers from a total of 10511 papers published in reputable conference proceedings since 2012. It focuses on key knowledge management themes covered, including the size of the enterprise, the adoption challenges, the potential benefits, the technologies used, and the aspects of the knowledge management cycle that are being employed. Furthermore, it draws on this analysis to highlight the appropriateness of existing knowledge management systems to the distinctive risk and opportunity characteristics of the micro-enterprise

The impact of speaking style on speech recognition in quiet and multi-talker babble in adult cochlear implant users

Contains fulltext : 216114pub.pdf (publisher's version ) (Open Access)8 p

Forest landscape ecology and global change: an introduction

Forest landscape ecology examines broad-scale patterns and processes and their interactions in forested systems and informs the management of these ecosystems. Beyond being among the richest and the most complex terrestrial systems, forest landscapes serve society by providing an array of products and services and, if managed properly, can do so sustainably. In this chapter, we provide an overview of the field of forest landscape ecology, including major historical and present topics of research, approaches, scales, and applications, particularly those concerning edges, fragmentation, connectivity, disturbance, and biodiversity. In addition, we discuss causes of change in forest landscapes, particularly land-use and management changes, and the expected structural and functional consequences that may result from these drivers. This chapter is intended to set the context and provide an overview for the remainder of the book and poses a broad set of questions related to forest landscape ecology and global change that need answers